Analysis of Design Process Dynamics
نویسندگان
چکیده
Abstract. To enable the development of automated support for design, a challenge is to model and analyse dynamics of design processes in a formal manner. This paper contributes a declarative, logical approach for specification of dynamic properties of design processes, supported by a formal temporal language. This language is used to specify dynamic properties of a design process as a whole, or of parts thereof. At the most detailed level, in an executable sublanguage also simulation models are specified in a declarative, logical manner, which allows to use these specifications in logical analysis as well. The approach is illustrated by an example component-based agent-system design process.
منابع مشابه
Planar Molecular Dynamics Simulation of Au Clusters in Pushing Process
Based on the fact the manipulation of fine nanoclusters calls for more precise modeling, the aim of this paper is to conduct an atomistic investigation for interaction analysis of particle-substrate system for pushing and positioning purposes. In the present research, 2D molecular dynamics simulations have been used to investigate such behaviors. Performing the planar simulations can provide a ...
متن کاملDesign, Modeling, Implementation and Experimental Analysis of 6R Robot (TECHNICAL NOTE)
Design, modeling, manufacturing and experimental analysis of a six degree freedom robot, suitable for industrial applications, has been described in this paper. The robot was designed on the assumption that, each joint has an independent DC motor actuator, with gear reduction and measuring sensor for angular joint position. Mechanical design of the robot was done using Mechanical Desktop and ma...
متن کاملMiniplant-Scale Analysis of Oxidative Coupling of Methane Process
For more than three decades, Oxidative Coupling of Methane (OCM) process has been comprehensively investigated as an attractive alternative for the commercially available ethylene production technologies such as ethane and naphtha cracking. Developing a suitable catalyst and proper reactor feeding policy, reviewing and deploying the efficient methods in the separation and purification of the un...
متن کاملExtracting Dynamics Matrix of Alignment Process for a Gimbaled Inertial Navigation System Using Heuristic Dynamic Programming Method
In this paper, with the aim of estimating internal dynamics matrix of a gimbaled Inertial Navigation system (as a discrete Linear system), the discretetime Hamilton-Jacobi-Bellman (HJB) equation for optimal control has been extracted. Heuristic Dynamic Programming algorithm (HDP) for solving equation has been presented and then a neural network approximation for cost function and control input ...
متن کاملCombined application of computational fluid dynamics (CFD) and design of experiments (DOE) to hydrodynamic simulation of a coal classifier
Combining the computational fluid dynamics (CFD) and the design of experiments (DOE) methods, as a mixed approach in modeling was proposed so that to simultaneously benefit from the advantages of both modeling methods. The presented method was validated using a coal hydraulic classifier in an industrial scale. Effects of operating parameters including feed flow rate, solid content and baffle le...
متن کاملDesign of the optimal magnetic field in application of functionalized CNT-based drug delivery toward the cell membrane: Computational Analysis
Recently, Carbon Nano (CN) structures are widely used in medical applications, especially the detection and treatment of cancer disease. Among various types of CNs, Carbone Nano Tubes (CNTs) attracted many researchers' attention to consider them toward clinical application. Regarding the intrinsic structure of CNTs, they can be used widely in drug delivery applications. Functionalized CNTs and ...
متن کامل